computer program verification

电脑程式验证

热门查询

ignominy　　n. 耻辱；不体面；丑行
fireweed　　n. 杂草
box　　n. 箱，盒子；包厢；一拳 vt. 拳击；装…入盒中；打耳光 vi. 拳击 n. (Box)人名；(英、法、西)博克斯
openness　　n. 公开；宽阔；率真
intellectualization　　n. 智能化；理智化
pincers　　n. 钳子（pincer的复数）；（虾蟹等的）螯
Bexley　　n. 贝克斯利（地名）；碧斯利
slippage　　n. 滑移；滑动；下降
with　　prep. 用；随着；支持；和…在一起 n. (With)人名；(德、芬、丹、瑞典)维特
disappoint　　vt. 使失望
doubt　　n. 怀疑；疑问；疑惑 v. 怀疑；不信；恐怕；拿不准
name　　n. 名称，名字；姓名；名誉 vt. 命名，任命；指定；称呼；提名；叫出 adj. 姓名的；据以取名的 n. (Name)人名；(日)滑(姓)；(英)内姆
distrustful　　adj. 怀疑的；不信任的；可疑的
southbound　　adj. 往南的；向南行进的
declaim　　vt. 演讲；慷慨激昂地发表 vi. 慷慨陈词；演讲；朗读
pinch　　n. 匮乏；少量；夹痛 vt. 捏；勒索；使苦恼；掐掉某物，修剪 vi. 夹痛；节省 n. (Pinch)人名；(英)平奇
glint　　n. 闪烁；闪光 vt. 使闪光；使发光 vi. 闪烁；（光线）反射；闪闪发光
reactivate　　vt. 使恢复活动；使恢复现役；使再开工 vi. 再度活动；使恢复活力
rule　　n. 统治；规则 vt. 统治；规定；管理；裁决；支配 vi. 统治；管辖；裁定 n. (Rule)人名；(英)鲁尔；(塞)鲁莱
savour　　n. 滋味；风味 vt. 具有…的特点；加调味品于；使有风味